SRI International - PDFSEARCH.IO - Document Search Engine

SRI International
Results: 1439

#	Item
121	Fixing Races for Fun and Profit: How to use access(2) Drew Dean∗ Computer Science Laboratory, SRI International Alan J. Hu† Dept. of Computer Science, University of British Columbia Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2004-05-18 22:47:55
122	Dynamic LDPC Codes for Nanoscale Memory with Varying Fault Arrival Rates Shalini Ghosh, Patrick D. Lincoln SRI International, Menlo Park, California Abstract—Modern state-of-the-art nanodevices exhibit remarkable elec Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2011-04-03 17:17:41
123	Call for Papers ISSN: 1800-279X Ruhuna Journal of Science The Ruhuna Journal of Science (RJS) is an open access, peer-reviewed international research journal published by Faculty of Science, University of Ruhuna, Sri Lan Add to Reading List Source URL: www.ruh.ac.lk Language: English - Date: 2016-02-15 01:16:35
124	Achieving Intelligence Using Prototypes, Composition, and Analogy Vinay K. Chaudhri Artificial Intelligence Center, SRI International Menlo Park, CA 94025, USA Abstract Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2014-11-27 18:51:42
125	Representing States in a Biology Textbook Vinay K. Chaudhri Daniela Inclezan Artificial Intelligence Center, SRI International Add to Reading List Source URL: www.ai.sri.com Language: English
126	A Collaborative Environment for Authoring Large Knowledge Bases Peter D. Karp, Vinay K. Chaudhri, Suzanne M. Paley Articial Intelligence Center SRI International 333 Ravenswood Avenue, Menlo Park, CA, 94025, USA Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-07-25 21:59:05
127	A Fully Collusion Resistant Broadcast, Trace, and Revoke System∗ Dan Boneh† Stanford University Brent Waters‡ SRI International Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-08-30 21:26:58
128	Probabilistic Inference Modulo Theories Rodrigo de Salvo Braz SRI International Ciaran O’Reilly SRI International Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2015-08-26 00:09:00
129	Coordinate Systems and Terrain Reusability Susanne Z. Riehemann SRI International 333 Ravenswood Ave Menlo Park, CA 94025 Add to Reading List Source URL: doors.stanford.edu Language: English - Date: 2009-10-14 02:05:28
130	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories

UPDATE